Computing the algebraic relations of C-finite sequences and multisequences
نویسندگان
چکیده
منابع مشابه
Computing the algebraic relations of C-finite sequences and multisequences
We present an algorithm for computing generators for the ideal of algebraic relations among sequences which are given by homogeneous linear recurrence equations with constant coefficients. Knowing these generators makes it possible to use Gröbner basis methods for carrying out certain basic operations in the ring of such sequences effectively. In particular, one can answer the question whether ...
متن کاملAlgebraic Relations for Recursive Sequences
Through the following, we establish the conditions which allow us to express recursive sequences of real numbers, enumerated through the recurrence relation an+1 = Aan + Ban−1, by means of algebraic equations in two variables of degree n ∈ N . We do this, as far as we know, like it has never been formalized before. I’d like to precise that the work was develop without the support of any well-kn...
متن کاملComputing with Hereditarily Finite Sequences
We use Prolog as a flexible meta-language to provide executable specifications of some fundamental mathematical objects and their transformations. In the process, isomorphisms are unraveled between natural numbers and combinatorial objects (rooted ordered trees representing hereditarily finite sequences and rooted ordered binary trees representing Gödel’s System T types). This paper focuses on ...
متن کاملFactorization of C-finite Sequences
We discuss how to decide whether a given C-finite sequence can be written nontrivially as a product of two other C-finite sequences.
متن کاملbuckling of viscoelastic composite plates using the finite strip method
در سال های اخیر، تقاضای استفاده از تئوری خطی ویسکوالاستیسیته بیشتر شده است. با افزایش استفاده از کامپوزیت های پیشرفته در صنایع هوایی و همچنین استفاده روزافزون از مواد پلیمری، اهمیت روش های دقیق طراحی و تحلیل چنین ساختارهایی بیشتر شده است. این مواد جدید از خودشان رفتارهای مکانیکی ارائه می دهند که با تئوری های الاستیسیته و ویسکوزیته، نمی توان آن ها را توصیف کرد. این مواد، خواص ویسکوالاستیک دارند....
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 2008
ISSN: 0747-7171
DOI: 10.1016/j.jsc.2008.03.002